The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

IntroductionIn highly developed countries, as many as 16 percent of children are physically abused each year. Traumatic brain injury (TBI) is the most common injury in non-accidental trauma (NAT) and is responsible for 80 percent of fatal NAT cases, with most deaths occurring in children younger than three years old. Cases of abusers who refuse withdrawal of life-sustaining medical treatment (LSMT) to avoid criminal charges have previously been reported. Therefore, we hypothesized that NAT is associated with a lower risk for (...) withdrawal LSMT in pediatric TBI.MethodsThe pediatric Trauma Quality Improvement Program database was analyzed (2014 to 2016) for patients aged 16 and younger with TBI and Glasgow Coma Scale (GCS) of 8 and lower on admission. Patients with a head Abbreviated Injury Scale (AIS) of 2 or less or who died within 48 hours were excluded. A multivariable logistic regression model was used for analysis.ResultsOf 2,209 TBI patients, 92 (4.2 percent) had withdrawal of LSMT. Compared to those without withdrawal of LMST, those with LMST had statistically similar median age (three years of age versus seven years, p = 0.07) and a higher rate of NAT (33.7 percent versus 13.5 percent, p < 0.001). The most common specified perpetrator was a father/stepfather/ male partner (70 percent). After adjusting for covariates, factors associated with higher risk for withdrawal of LSMT included age of less than three years (OR 2.38, CI 1.34-4.23, p < 0.05) and NAT (OR 1.86, CI 1.02-3.41, p < 0.05).ConclusionNAT is associated with increased risk for withdrawal of LSMT in pediatric TBI. Age of less than three years is similarly associated with a higher risk for withdrawal of LSMT. Future research in this population is needed to determine what other factors predict withdrawal of LSMT and what resources, such as social workers and/or ethics consults, are utilized. (shrink)

Using a recent result of Busch and Gudder, we reconsider a theorem of Ludwig which allows one to identify a class of effect automorphisms as the symmetry transformations in quantum mechanics.

Como casi todos los conceptos fi losófi cos, el de «validez normativa» tiene altos grados de ambigüedad y de vaguedad. En este trabajo me encargo de analizar la postura de distintos autores que han tratado de dar respuesta a la pregunta ¿qué significa que una norma sea «válida»? Para ello, tomo como hilo conductor la obra de Ernesto Garzón Valdés. Esto se debe a que los trabajos de Ernesto Garzón dedicados a este tema, le ofrecen al lector un análisis crítico (...) y comprensivo de algunas de las posturas teóricas más relevantes sobre el concepto de validez normativa. Asimismo, trabajar a través de su obra tiene un doble benefi cio: por un lado, no sólo nos permite conocer a fondo la postura teórica de autores que pertenecen a distintas corrientes del pensamiento, como Hans Kelsen, H.L.A. Hart, Francisco Suárez o von Wright por ejemplo, sino que, por el otro, nos permite conocer la postura del mismo Garzón y sus críticas a los diferentes modelos conceptuales. (shrink)

The aim of this text is to examine the issue of truth telling in doctor-patient relationships, namely in the case of terminal patients. We analyze the problems and attitudes regarding truth telling that there are present when patients suffer from mortal diseases. We conclude that it is very important to keep a fluent and truthful communication in the doctor-patient relationship. We also examine and stress the role that general practitioners can play in the care of terminal patients at their home (...) and with their friends and/or relatives. (shrink)

Este artigo pretende discutir os conceitos de direito natural e propriedade no Iuri universi distributio (1578) e as suas conseqüências políticas no Methodus ad facilem historiarum cognitionem (1566) e no Les Six Livres de la République (1576), de Jean Bodin.

This article aims to discuss the concepts of natural right and property in Bodin's Iuri distributio universi and the political consequences of these ideas in Methodus ad facilem historiarum cognitionem and Les Six Livres de la République .Este artigo pretende discutir os conceitos de direito natural e propriedade no Iuri universi distributio e as suas conseqüências políticas no Methodus ad facilem historiarum cognitionem e no Les Six Livres de la République , de Jean Bodin.

Take the following version of scientific realism: we have good reason to believe that (some of the) current scientific theories tell us something specific about the underlying, i.e. unobservable, structures of the world, for instance that there are electrons with a certain electric charge, or that there are viruses that cause certain diseases. Popper, the rationalist, would not have adhered to the proposed formulation of scientific realism in terms of the rationality of existential beliefs concerning unobservables. Popper did not believe (...) in belief. According to Van Fraassen, the empiricist, one may yet have a rational existential belief concerning unobservables, given a liberal notion of rationality of belief. In this paper I will investigate to what extent a reassessment of both Popper’s rejection of the rationality of belief and Van Fraassen’s reformulation of the rationality of belief, points towards a new and pragmatist dissolution of the ‘problem of scientific realism’. (shrink)

In this paper art history and visual studies, the disciplines that study visual culture, are presented as a field whose conjectural paradigm can be used to understand the epistemic problems associated with abduction. In order to do so, significant statements, concepts and arguments from the work of several specialists in this field have been highlighted. Their analysis shows the fruitfulness and potential for understanding the study of visual culture as a field that is interwoven with the assumptions of abductive cognition.

Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...

Dans l’Antiquité, affronter la vaste étendue de la mer symbolisait l’inconnu des dangers de la vie mortelle. C’était une tâche ardue pour les hommes, et tout simplement inconcevable pour les femmes. C’est peut-être pour cette raison que les études sur la condition féminine dans les sociétés antiques, notamment en Grèce, qui, depuis les années 1970, éclairent la position sociopolitique, familiale, juridique et religieuse des femmes au sein de la communauté urbaine, négligent leur rapport avec...

If one demystifies entropy the second law of thermodynamics comes out as an emergent property entirely based on the simple dynamic mechanical laws that govern the motion and energies of system parts on a micro-scale. The emergence of the second law is illustrated in this paper through the development of a new, very simple and highly efficient technique to compare time-averaged energies in isolated conservative linear large scale dynamical systems. Entropy is replaced by a notion that is much more transparent (...) and more or less dual called ectropy. Ectropy has been introduced before but we further modify the notion of ectropy such that the unit in which it is expressed becomes the unit of energy. The second law of thermodynamics in terms of ectropy states that ectropy decreases with time on a large enough time-scale and has an absolute minimum equal to zero. Zero ectropy corresponds to energy equipartition. Basically we show that by enlarging the dimension of an isolated conservative linear dynamical system and the dimension of the system parts over which we consider time-averaged energy partition, the tendency towards equipartition increases while equipartition is achieved in the limit. This illustrates that the second law is an emergent property of these systems. Finally from our large scale linear dynamic model we clarify Loschmidt’s paradox concerning the irreversible behavior of ectropy obtained from the reversible dynamic laws that govern motion and energy at the micro-scale. (shrink)

Gentile's philosophy merits the attention of every serious thinker, for it presents the doctrine that reality is spiritual in a more uncompromising form than is to be found elsewhere, and claims to solve on this principle all the great problems that have beset the history of metaphysic. His own name for it is Absolute or Actual Idealism . For Gentile, nothing is real but the Spirit, and by the Spirit he means the pure act of self-conscious thinking. “The subject that (...) conceives itself in conceiving All is the reality itself.” In the act of conscious thinking, the Spirit is present in its entirety as subject ; generating therein by its own creative spontaneity a world of objects, and resolving the products of this act of objectification into the womb that gave them birth. In this immanent dialectic–pure subject , pure object , subject-object –lies the rhythmic life-history of the Spirit. “Our doctrine,” writes Gentile, “is the theory of the Spirit as act which posits its object in a multiplicity of objects, resolving their multiplicity and objectivity in the unity of the subject itself.” For such a doctrine, transcendence is the enemy, the Goliath whom Gentile has gone forth to slay. He confronts us, on almost every page of his writings, with an ineluctable dilemma. Either a philosophy of sheer immanence, or reality is unknowable. (shrink)

The two basic forms of action distinguished in the preceding articles, viz., moral action, where praxis is for praxis sake, and action for a good, where praxis is for the sake of theôria, are found in close relationship to one another in human life. The part they play is rather that of abstract moments in a practical process than that of self-contained and isolable bits of conduct. No philosopher is likely to discount the importance of thus analysing the concrete into (...) its factors before he rectifies the abstraction by showing how they co-operate in actual experience. In any individual biography we can find acts and courses of action in which duty is the dominant motive, and others in which the dominant motive is desire of good. Similarly, when we compare different biographies with one another, some exemplify most strikingly the struggle for righteousness against unruly passion, others the spontaneous aspiration of the soul to attain the goal of its desire. But neither the moral law nor the summum bonum wields an exclusive sovereignty. St. Paul and Luther, in their warfare against carnal desire, drew strength from the ideal vision; nor were St. Bernard or Spinoza, for all their absorption upon union with the divine, strangers to the call of moral obligation. In the lives of ordinary men, the types of conduct are, perhaps, more evenly balanced; yet here also the distinction is discernible. Moreover, it is easy to see how, despite their intrinsic difference, they come to be associated and “by just exchange” to effect a mutual enrichment. (shrink)

In human groups performing oscillatory tasks, it has been observed that the frequency of participants' oscillations reduces when compared to that acquired in solo. This experimental observation is not captured by the standard Kuramoto oscillators, often employed to model human synchronization. In this work, we aim at capturing this observed phenomenon by proposing three alternative modifications of the standard Kuramoto model that are based on three different biologically-relevant hypotheses underlying group synchronization. The three models are tuned, validated and compared against (...) experiments on a group synchronization task, which is a multi-agent extension of the so-called mirror game. (shrink)

This phenomenological study intends to capture and describe Filipino college deans’ lived experiences of ethical dilemmas as they carry out their work as administrators. Using semistructured in-depth interviews and following Collaizzi’s method, data was collected and subjected to cool and warm analyses yielding a set of themes and sub-themes that typify what these deans consider to be ethical dilemmas. The resulting ‘Wheel’ of School Leaders’ Ethical Dilemmas depicts the nature of the dilemmas faced by these deans, the critical incidents which (...) trigger the onset of the dilemmas, and the value conflicts that are embedded in them. This article intends to add to the growing body of research on ethical decision making in educational management, particularly on the ethical dilemmas faced by Filipino college deans. At a practical level, the findings of this study provide valuable resource to assist practicing and aspiring deans to be more adept in identifying the moral and ethical dimensions of their work as academic administrators. Finally the findings of this study could serve as a knowledge base for curriculum planners in designing ethics courses offered in educational leadership programs in the Philippines to develop academic leaders’competencies and skills in ethical decision making. (shrink)

The chapter reports on the findings of a grounded theory study on the moral sensitivity practice of Filipino college deans. It centers on the exposition of a conceptual model which expands the construct of moral sensitivity beyond the initial stage of moral problem recognition and depicts three processes of knowing facts, understanding people, and understanding oneself as fundamental processes to moral sensitivity. A set of seven distinct practices were also identified as subcomponents of moral sensitivity. The chapter concludes by highlighting (...) the level of complexity involved in moral problem identification in real-life settings and the consequent need for developing administrators’ moral sensitivity skills through formal courses in ethics as part of school administrator preparation programs. (shrink)

Overzicht van de hedendaagse ontwikkelingen in de wetenschapsfilosofie.

Este artigo visa apresentar uma taxonomia original dos argumentos mais difundidos contra o Princípio de Identidade dos Indiscerníveis ao longo da história da Filosofia, mas focando em versões defendidas no século XX e XXI; bem como uma taxonomia das respostas mais efetivas para esses argumentos usados no início do século XXI com uma breve avaliação sobre quais são as mais efetivas para cada argumento de ataque. O leitor também encontrará uma bibliografia atualizada sobre os debates envolvendo esses argumentos e contra-argumentos (...) nas seções correspondentes. Palavras-chave: identidade; indiscernibilidade; Princípio de Identidade dos Indiscerníveis; concebilidade. (shrink)